kind(${\it info}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$case ${\it info}$($e$) of inl($p$) =$>$ locl($p$.2) $\mid$ inr($q$) =$>$ rcv($q$.1.1,$q$.2)